Electronic Books

Total Books: 1 - 1 /1
978-3-540-32923-7
Formal Models of Communicating Systems

This book studies the relationship between automata and monadic second-order logic, focusing on classes of automata that ...

Continue reading
Total Books: 1 - 1 /1